Ethan Allen in Love, House Beautiful

Beautiful Interpolants

We describe a compositional approach to Craig interpolation based on the heuristic that simpler proofs of special cases are more likely to generalize. The method produces simple interpolants because it is able to summarize a large set of cases using one relatively simple fact. In particular, we present a method for finding such simple facts in the theory of linear rational arithmetic. This make...

Love (Mohabba) in Sufism

In the following, I describe the Sufi Path (tariqa) as a dialectical process which transforms the person through love. I examine the belief system of Islamic mystics as a journey involving both creativity and passion. I do so by using a fresh approach, a perspective that has heretofore yet to be applied to the spiritual alchemy of the Sufis.

Investigating Orosi* in Tabriz Qajar houses (Case studies: Mashrooteh House, Heydarzadeh House, Nikdel House)

Iranian architecture has beautiful embellishments that are made of different materials such as tiles, plaster, pottery, stone and wood. Although due to Iran’s hot and dry climate, wood embellishments are less being used, in some cases they have a special and unique place in Iranian architecture. Orosi windows are one of these embellishments which have a special place in various types of archite...

Investigating Orosi* in Tabriz Qajar houses (Case studies: Mashrooteh House, Heydarzadeh House, Nikdel House)

Iranian architecture has beautiful embellishments that are made of different materials such as tiles, plaster, pottery, stone and wood. Although due to Iran’s hot and dry climate, wood embellishments are less being used, in some cases they have a special and unique place in Iranian architecture. Orosi windows are one of these embellishments which have a special place in various types of archite...

Beautiful conjectures in graph theory